Вероятностное рассуждение — это не статический расчет, а динамический процесс обновления убеждений. В ситуации безусловной мы предполагаем состояние общего неведения, при котором все исходы в пространстве выборки $S$ возможны. Однако, информация является математическим фильтром который отбрасывает исходы, несовместимые с наблюдаемой реальностью.
Когда мы говорим, что событие $F$ произошло, мы переходим от глобального пространства $S$ к ограниченной вселенной $F$. Условная вероятность события $E$ при условии $F$, обозначаемая как $P(E|F)$, просто равна доле нового пространства $F$, где также происходит событие $E$.
Рассказ о доказательствах
Переход от $P(E)$ к $P(E|F)$ лежит в основе оценки на основе доказательств. Если $P(E|F) > P(E)$, то доказательство $F$ поддерживает гипотезу $E$. Если $P(E|F) < P(E)$, то $F$ противоречит $E$.
Представьте себе организованное мероприятие с следующими фиксированными вариантами меню:
| Блюдо | Варианты |
|---|---|
| Основное блюдо | Курица, жареное мясо (2) |
| Крахмал | Макаронные изделия, рис, картофель (3) |
| Десерт | Мороженое, желе, яблочный пирог, персик (4) |
Безусловное пространство: Всего возможно $2 \times 3 \times 4 = 24$ комбинаций блюд. $P(\text{макароны}) = 8/24 = 1/3$.
Условная информация: Мы узнали, что гость — вегетарианец, который определенно выбрал "макароны". Теперь наш выбор второго блюда зафиксирован ($1$ вариант). Знаменатель нашей вселенной сокращается с $24$ до $2 \times 1 \times 4 = 8$. Вот в чём сила информации: она сужает пространство выборки и изменяет знаменатель.
Определение формулы
Для любых двух событий $E$ и $F$, если $P(F) > 0$, условная вероятность определяется как:
$$P(E|F) = \frac{P(EF)}{P(F)}$$